tools/oxenstored: Implement Domain.rebind_evtchn
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 30 Nov 2022 11:55:58 +0000 (11:55 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 20 Dec 2022 13:13:40 +0000 (13:13 +0000)
commita20daa7ffda7ccc0e65abe77532a5dc8059bf128
treeeaad5816d87807d5535149eaaeaeedae9e31db2e
parentfd0d9b05970986545656c8f6f688f70f3e78a29b
tools/oxenstored: Implement Domain.rebind_evtchn

Generally speaking, the event channel local/remote port is fixed for the
lifetime of the associated domain object.  The exception to this is a
secondary XS_INTRODUCE (defined to re-bind to a new event channel) which pokes
around at the domain object's internal state.

We need to refactor the evtchn handling to support live update, so start by
moving the relevant manipulation into Domain.

No practical change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Edwin Török <edvin.torok@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
(cherry picked from commit aecdc28d9538ca2a1028ef9bc6550cb171dbbed4)
tools/ocaml/xenstored/domain.ml
tools/ocaml/xenstored/process.ml